FORM facts

نویسنده

  • J. A. M. Vermaseren
چکیده

Some of the new features of the symbolic manipulation system FORM are discussed. Then some recent results running its multithreaded version TFORM are shown. Finally the plans for the future are presented. Over the past few years the symbolic manipulation system FORM[1] has picked up a number of new features. Some are designed for better speed, some for more convenience. The most recent facility is the set of transform statements for manipulating functions with a large number of arguments. The problem here is that doing the arguments one by one often involves a large number of statements, and always a superfluous amount of pattern matching. Just imagine we have a function f with 20 arguments. All have a value of either zero or one. Now we want to replace the zeroes by ones and the ones by zeroes. One way to do this is with Multiply f1; repeat id f(x?,?a)*f1(?b) = f(?a)*f1(?b,1-x); id f*f1(?a) = f(?a); Note that the repeat loop has to be done 20 times. With the new transform statement we would have On my laptop the first method takes 45.20µsec. and the second method takes 1.38µsec. In addition the code is easier to understand. This gives a smaller chance of errors. One can have different subkeys and one statement can have a whole chain of operations as in One can also split the transform statement in various statements if one would like to see what happens: The old style program would have been

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Facts and Principles 1 Facts and Principles in Political Constructivism

This paper develops a unique exposition about the relationship between facts and principles in political constructivism. It claims that facts form part of the ground for affirming principles insofar as reasons relating facts to the public sphere help generate criteria for assessing principles. One key element of political constructivism is that it focuses on specific political subjects. By offe...

متن کامل

Child Labor Facts in the Worldwide: A Review Article

The economic exploitation of children is an insult to humanity. All over the world children continue to work, putting at stake their education, their health, their normal development to adulthood, and even their lives. Millions of them work under hazardous conditions which present dangers to their health, safety and welfare. They toil in mines and quarries, are exposed to agrochemicals in agric...

متن کامل

What we know: findings that every theory of schizophrenia should explain.

The article summarizes the process used to distill schizophrenia science into 22 facts. These facts consist of 6 basic facts, 3 etiological facts, 6 pharmacological and treatment facts, 5 pathology facts, and 2 behavioral facts that were critically reviewed by the scholarly community through a special initiative in cooperation with the Schizophrenia Research Forum. A subset of 10 of these facts...

متن کامل

Extending the Qualitative Trajectory Calculus Based on the Concept of Accessibility of Moving Objects in the Paths

Qualitative spatial representation and reasoning are among the important capabilities in intelligent geospatial information system development. Although a large contribution to the study of moving objects has been attributed to the quantitative use and analysis of data, such calculations are ineffective when there is little inaccurate data on position and geometry or when explicitly explaining ...

متن کامل

Post-decision consolidation and distortion of facts

Participants decided whom of two patients to prioritize for surgery in three studies. The factual quantitative information about the patients (e.g., probability of surviving surgery) was given in vignette form with case descriptions on Visual Analogue Scales — VAS’s. Differentiation and Consolidation theory predicts that not only the attractiveness of facts but also the mental representations o...

متن کامل

Deductive Databases with Conditional Facts

Department of Computer Science The Wichita State University Wichita, Kansas 67260-0083, USA e-mail: [email protected] Abstract. We introduce the notion of conditional facts in deductive databases. The language used to express the conditions in the basic facts does not involve constructs used to describe the database and is motivated by its potential usefulness in expressing disjunctive facts and ...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:
  • CoRR

دوره abs/1006.4512  شماره 

صفحات  -

تاریخ انتشار 2010